void init_core();

void *allocate(int size, int exec);
